1. Computability
پدیدآورنده: / Nigel Cutland
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computable functions,Recursion theory
رده :
QA
9
.
59
.
C87
1980
2. Computability, an introduction to recursive function theory
پدیدآورنده: Cutland, Nigel.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computable functions,، Recursion theory
رده :
QA
9
.
59
.
C87
1980
3. Computability, an introduction to recursive function theory
پدیدآورنده: / Nigel Cutland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
4. Computability, an introduction to recursive function theory /
پدیدآورنده: Nigel Cutland
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
5. Computability, an introduction to recursive function theory
پدیدآورنده: / Nigel Cutland
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
6. Computability, an introduction to recursive function theory
پدیدآورنده: Cutland, Nigel.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Recursion theory
رده :
QA
9
.
59
.
C87
7. Computability : an introduction to recursive function theory
پدیدآورنده: Nigel Cutland
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
8. Computability, an introduction to recursive function theory
پدیدآورنده: / Nigel Cutland
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
9. Computability; an introduction to reeursive function theory
پدیدآورنده: Cutland, Nigel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computable functions ► Recursion theory
رده :
519
C989c
10. Computability; an introduction to reeursive function theory
پدیدآورنده: Cutland, Nigel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computable functions ► Recursion theory
رده :
519
C989c
11. Computability theory /
پدیدآورنده: Rebecca Weber
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
6
.
W43
2012
12. Computability theory : concepts and applications
پدیدآورنده: Dunne, Paul E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
13. Computable analysis
پدیدآورنده: / by Klaus Weihrauch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computable functions,Recursion theory,Mathematical analysis
رده :
QA9
.
59
.
W46
2000
14. Computable analysis: an introduction
پدیدآورنده: Weihrauch, K. )Klaus(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W46
2000
15. Computable analysis : an introduction
پدیدآورنده: Klaus Weihrauch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W44C6
16. Recursion on the countable functionals
پدیدآورنده: Normann, Dag
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Recursion theory,، Computable functions,، Functionals
رده :
QA
1
.
L4
v
.
811
17. Recursion on the countable functionals
پدیدآورنده: Normann, Dag
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
no
.
811
18. Recursion on the countable functionals
پدیدآورنده: / Dag Normann
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursion theory,Computable functions,Functionals
رده :
QA
9
.
6
.
N6
1980
19. Recursion on the countable functionals
پدیدآورنده: Dag Normann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
Vol
.
811
20. Recursion on the countable functionals
پدیدآورنده: Normann, Dag
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursion theory,، Computable functions
رده :
QA
3
.
L28
no
.
811
